data Bool = True | False;

case x of {
	True -> case y of {}; 
	False -> case y of {};
}